package edu.gatech.cc.concolic.constraint;

import java.util.Collection;

public class OR extends NaryConstraint {

	private static final long serialVersionUID = -4388299319863929232L;

	public OR(Collection<Constraint> expressions) {
		super(expressions);
	}

	public OR(Constraint... expressions) {
		super(expressions);
	}
	
	public void accept(ConstraintVisitor visitor) {
		visitor.visit(this);
	}

}
